/*
#include<stdio.h>
int main()
{
	struct student
	{
		int num;
		char name[20];
		float score;
	}student1,student2,student3,student4;
	scanf("%d %s %f",&student1.num,&student1.name,&student1.score);
	scanf("%d %s %f",&student2.num,&student2.name,&student2.score);
	scanf("%d %s %f",&student3.num,&student3.name,&student3.score);
	scanf("%d %s %f",&student4.num,&student4.name,&student4.score);
	if(student1.score>student2.score)
	   printf("%d %s %6.2f\n",student1.num,student1.name,student1.score);
	else if(student1.score<student2.score)
	   printf("%d %s %6.2f\n",student2.num,student2.name,student2.score);
	else
	{
	    printf("%d %s %6.2f\n",student1.num,student1.name,student1.score);
		printf("%d %s %6.2f\n",student2.num,student2.name,student2.score);	
	}
	return 0;
}
*/

/*

#include<stdio.h>
struct student
	{
		int num;
		char name[20];
		float score;
	}n;
int main()
{
	struct student n_score[4];
	for(int i=0;i<3;i++)
	  scanf("%d",n_score);
	for(int i=0;i<3;i++)
	{
		for(int j=0;j<3-i;j++)
		{
			if(n_score[j].score>n_score[j+1].score)
			{
								
			}
		}
	}
	return 0;
}

#include<stdio.h>
int main()
{
	struct student
	{
		int num;
		char name[20];
		float score;
	}student1,student2,student3,student4;
	scanf("%d %s %f",&student1.num,&student1.name,&student1.score);
	scanf("%d %s %f",&student2.num,&student2.name,&student2.score);
	scanf("%d %s %f",&student3.num,&student3.name,&student3.score);
	scanf("%d %s %f",&student4.num,&student4.name,&student4.score);
	for(int i=0;i<3;i++)
	{
		stu
	}
	return 0;
}
*/
/*
#include<stdio.h>
struct student
	{
		int num;
		char name[20];
		float score;
	}n;
int main()
{
	struct student score[4];
	
	for(int i=0;i<3;i++)
	  scanf("%d",n_score);
	for(int i=0;i<3;i++)
	{
		for(int j=0;j<3-i;j++)
		{
			if(n_score[j].score>n_score[j+1].score)
			{
								
			}
		}
	}
	return 0;
}
*/

#include<stdio.h>
#include<string.h>
struct person
{
	char name[30];
	int count;
}leader[4]={"li",0,"zhang",0,"sun",0,"wang",0};
int main()
{
	int i,j;
	char leader_name[100];
	for(i=1;i<=10;i++)
	{
		scanf("%s",leader_name);
		for(j=0;j<4;j++)
		{
			if(strcmp(leader_name,leader[j].name)==0)
			leader[j].count++;
		}
	}
	for(i=0;i<4;i++)
	printf("%5s:%d\n",leader[i].name,leader[i].count);
	return 0;
}








